extern void irq_timer4();
void main(void)
{

//    uart_init();
    init_timer(62500);//初始wttimer    
    intc_init();
    intc_setvectaddr(25, irq_timer4);
    intc_enable(25);
    while(1)
    {
    }
    //TCON = 0;

}
